Process Logic for Verifying the Correctness of Business Process Models
نویسندگان
چکیده
Extended Abstract Process verification is a key step in business process management. In this paper, we propose process logic as a new logical formalism and mathematical method to enable advanced process verification. We formally define the syntax and semantics of process logic, establish a formal relationship between process logic and graphical representation of process models, and transform the problem of verifying the correctness of process models into a problem of determining the validity of logic argument forms.
منابع مشابه
Checking Properties of Business Process Models with Logic Programming
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it deserves. In this article, we give some examples how logical programming can be exploited for verifying or finding properties of graphical models that are used by business process modelers, for example event driven pro...
متن کاملVisually specifying compliance rules and explaining their violations for business processes
A business process is a set of steps designed to be executed in a certain order to achieve a business value. Such processes are often driven by and documented using process models. Nowadays, process models are also applied to drive process execution. Thus, correctness of business process models is a must. Much of the work has been devoted to check general, domain-independent correctness criteri...
متن کاملLocating of planting project using Analytic Hierarchy Process and Fuzzy logic (case study: Maravehtappe watershed, Golestan province)
Planting project is one of the methods for improvement of rangeland degradation that exact implementation depends on many factors. Therefore, there is a need for a fundamental method. In the present study for locating planting project, in Maravehtappe watershed, analytic hierarchical process and fuzzy logic are applied. In this study, four ecological criteria of vegetation, soil, physiography a...
متن کاملModelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static function hierarchies, business rules valid in defined business domains and the consistency of models on different levels of abstraction. Today the systems are mostly tested manually. Automated support may the verificat...
متن کاملVerifying the Termination of Workflows
In this paper we describe the behavior of workflows using graph theory and logic. A workflow is an abstraction of a business process that consists of one or more tasks to be executed to reach the goal or objective of the business process. Graphs are a formal notation that may be used for representing business processes. We use propositional logic to describe all possible models or cases present...
متن کامل